FDL - Nuprl Definition : order

Nuprl Definition : order

12,41

compound
Order(T;x,y.R(x;y)) == Refl(T;x,y.R(x;y)) & Trans(T;x,y.R(x;y)) & AntiSym(T;x,y.R(x;y))

Definitions Refl(T;x,y.E(x;y)), P & Q, Trans(T;x,y.E(x;y)), AntiSym(T;x,y.R(x;y))

FDL editor aliases order

Definitions	Refl(T;x,y.E(x;y)), P & Q, Trans(T;x,y.E(x;y)), AntiSym(T;x,y.R(x;y))
FDL editor aliases	order